(declare-fun _substvar_743_ () Bool)
(declare-fun _substvar_863_ () Bool)
(declare-const i2 Int)
(declare-const i3 Int)
(declare-const i4 Int)
(assert (=> (= (mod i2 52) (mod i4 52)) false))
(assert (<= 52 i3))
(assert (=> _substvar_863_ _substvar_743_))
(check-sat)
